Both Alternatives Are the Same (BAAS)

Description:

BAAS can help detect bugs in your program by detecting if statements produce the same alternatives -- regardless the value of the condition expression.

Incorrect:

function choose(x:boolean; y,z:integer):integer;
begin
    if x then
        result := y
    else
        result := y;
end;

Correct:

function choose(x:boolean; y,z:integer):integer;
begin
    if x then
        result := y
    else
        result := z;
end;